翻訳と辞書
Words near each other
・ Fulke Lovell
・ Fulke Underhill
・ Fulke Walwyn
・ Fulke Walwyn Kim Muir Challenge Cup
・ Fulkerson
・ Fulkerson Prize
・ Fulkerson, Virginia
・ Fulkerson-Hilton House
・ Fulkerson–Chen–Anstee theorem
・ Fulki River
・ Fulking
・ Fulks Run, Virginia
・ Full
・ Full Alert
・ Full Alert (film)
Full and faithful functors
・ Full and Final
・ Full Attention
・ Full Auto
・ Full Bars
・ Full Basket Belize
・ Full Belly Project
・ Full Blast
・ Full Blast (1999 film)
・ Full Blast (album)
・ Full Bleed Studios
・ Full Blooded
・ Full Blooded Niggaz
・ Full Bloom
・ Full Bloom (Acoustic Strawbs album)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Full and faithful functors : ウィキペディア英語版
Full and faithful functors
In category theory, a faithful functor (resp. a full functor) is a functor that is injective (resp. surjective) when restricted to each set of morphisms that have a given source and target.
==Formal definitions==
Explicitly, let ''C'' and ''D'' be (locally small) categories and let ''F'' : ''C'' → ''D'' be a functor from ''C'' to ''D''. The functor ''F'' induces a function
:F_\colon\mathrm_(X,Y)\rightarrow\mathrm_(F(X),F(Y))
for every pair of objects ''X'' and ''Y'' in ''C''. The functor ''F'' is said to be
*faithful if ''F''''X'',''Y'' is injective〔Mac Lane (1971), p. 15〕〔Jacobson (2009), p. 22〕
*full if ''F''''X'',''Y'' is surjective〔〔Mac Lane (1971), p. 14〕
*fully faithful if ''F''''X'',''Y'' is bijective
for each ''X'' and ''Y'' in ''C''.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Full and faithful functors」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.